1. Advanced R

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)

رده :
QA276
.
45
.
R3
H335
2019

2. Categories, types, and structures

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers),Categories (Mathematics)

رده :
QA76
.
7
.
A76
1991

3. Categories, types, and structures

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Programming languages (Electronic computers),Categories (Mathematics)

رده :
QA76
.
7
.
A76
1991

4. Categories, types, and structures

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Programming languages (Electronic computers),Categories (Mathematics)

رده :
QA76
.
7
.
A76
1991

5. Categories, types, and structures : an introduction to category theory for the working computer scientist

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers(,، Categories )Mathematics(

رده :
QA
76
.
7
.
A76
1991

6. Computer mathods in mathematics

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع: ، Electronic data procssing - Mathematics,، Elecctronic Calculating machines,، programming languages ) Electronic computers(

رده :
QA
76
.
5
.
A368

7. Computer methods in mathematics

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Mathematics -- Data processing,Computers,Programming languages (Electronic computers)

رده :
QA
76
.
5
.
A368

8. Computer methods in mathematics

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Electronic data processing - Mathematics,Computers,Programming languages (Electronic computers)

رده :
510
.
18
A341c

9. Domain-theoretic foundations of functional programming

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)

رده :
QA
76
.
7
.
S818
2006

10. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz

رده :
QA
76
.
L28
Vol
.
2300

11. Generalized quantifiers and computation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

12. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1754

13. Grammars and automata for string processing: from mathematics and computer science to biology, and back

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

رده :
QA
76
.
G64
2003

14. Grammars and automata for string processing : from mathematics and computer science to biology, and back

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

رده :
QA
76
.
G69

15. Initial computability, algebraic specifications, and partial algebras

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

رده :
QA
76
.
9
.
M35R45
1987

16. MATLAB Recipes

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;

17. Maple user manual.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)

رده :
QA76
.
95
.
M362
2005

18. Mathematical aspects of natural and formal languages

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Mathematics

رده :
QA
76
.
7
.
M376
1994

19. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics

رده :
QA
76
.
L28
Vol
.
298

20. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses

رده :
QA
76
.
7
.
M378
1988